finite process

有限程序